Struct isotope::term::Annotation[][src]

pub struct Annotation(_);
Expand description

An owned type annotation

Implementations

Create a new annotation given a base and a type

Create a new, checked annotation given a base and a type

Try to create an annotation given a type

Try to create an annotation given a path

Try to create an annotation from an ID

Convert this annotation into it’s type

Convert this annotation into it’s base

Check whether this annotation is a sub-annotation of another

Attempt to coerce the type of this annotation in a given typing context.

Trait Implementations

Borrow this term’s underlying annotation

Get the type of this annotation

Get the transported type of this annotation, if any

Get the base type of this annotation

Get the type of this annotation

Get the base type of this annotation

Attempt to coerce the type of this annotation in a given typing context.

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more

The type this conses to

Cons this term within a given context. Return None if already consed.

Convert this term to it’s own consed type

Get this term, but consed

Formats the value using the given formatter. Read more

Whether this term depends on a variable with a given index: if equiv is true, also consider larger variables in the same equivalence class

Get whether a term depends on a variable base <= variable <= ix Read more

Get the variable filter of this term

Get the free variable bound of this term

Feeds this value into the given Hasher. Read more

Feeds a slice of this type into the given Hasher. Read more

This method tests for self and other values to be equal, and is used by ==. Read more

This method tests for !=.

The type this substitutes to

Substitute this value recursively

Convert this object’s consed form to it’s substituted form

Shift this term’s variables with index >= base in a given context

Shift this term’s variables with index >= base in a given context

Substitute this term’s variables with index >= base down a variable in a given context

Compare this value to another within a given context

Locally typecheck a term: note this is context-independent, without caching

Globally typecheck a term, i.e. typecheck all subterms, without caching

Typecheck this term’s annotation, without caching

Locally typecheck a term: note this is context-independent.

Globally typecheck a term, i.e. typecheck all subterms and their variables

Typecheck this term’s annotation

Typecheck a term in a given context

Load this term’s current flags

Set this term’s flags. May cause errors if done incorrectly!

Typecheck this term along with it’s variables

Whether this term might be type-checked

Variable typecheck a term, i.e. typecheck all subterms and their variables.

Globally typecheck a term and it’s annotation, i.e. typecheck all subterms, annotation subterms, and their variables

Auto Trait Implementations

Blanket Implementations

Gets the TypeId of self. Read more

Immutably borrows from an owned value. Read more

Mutably borrows from an owned value. Read more

Borrow an optional value of type T

Hash this using a given hasher

Compare self to key and return true if they are equal.

Performs the conversion.

Performs the conversion.

The resulting type after obtaining ownership.

Creates owned data from borrowed data, usually by cloning. Read more

🔬 This is a nightly-only experimental API. (toowned_clone_into)

recently added

Uses borrowed data to replace owned data, usually by cloning. Read more

The type returned in the event of a conversion error.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.